Modes of Adjointness
نویسندگان
چکیده
The fact that many modal operators are part of an adjunction is probably folklore since the discovery of adjunctions. On the other hand, the natural idea of a minimal propositional calculus extended with a pair of adjoint operators seems to have been formulated only very recently. This recent research, mainly motivated by applications in computer science, concentrates on technical issues related to the calculi and not on the significance of adjunctions in modal logic. It then seems a worthy enterprise (both for these contemporary topical pursuits and also for historical interest) to trace the concept of adjunction back to the origins of the algebraic semantics of modal logic and to make explicit its ubiquity in this branch of mathematics.
منابع مشابه
On Black-Scholes equation; method of Heir-equations, nonlinear self-adjointness and conservation laws
In this paper, Heir-equations method is applied to investigate nonclassical symmetries and new solutions of the Black-Scholes equation. Nonlinear self-adjointness is proved and infinite number of conservation laws are computed by a new conservation laws theorem.
متن کاملOn Povzner–wienholtz-type Self-adjointness Results for Matrix-valued Sturm–liouville Operators
We derive Povzner–Wienholtz-type self-adjointness results form× m matrix-valued Sturm–Liouville operators T = R [
متن کاملOn monotone modalities and adjointness
We fix a logical connection (Stone Pred : Set op −→ BA given by 2 as a schizophrenic object) and study coalgebraic modal logic that is induced by a functor T : Set −→ Set which is finitary, standard, preserves weak pullbacks and finite sets. We prove that for any such T , the cover modality nabla is a left (and its dual delta is a right) adjoint relative to Pω. We then consider monotone unary m...
متن کاملProjectivity, Continuity, and Adjointness: Quantales, Q-posets, and Q-modules
In this paper, projective modules over a quantale are characterized by distributivity, continuity, and adjointness conditions. It is then show that a morphism Q // A of commutative quantales is coexponentiable if and only if the corresponding Q-module is projective, and hence, satisfies these equivalent conditions.
متن کاملSelf-Adjointness of Generalized MIC-Kepler System
We have studied the self-adjointness of generalized MIC-Kepler Hamiltonian, obtained from the formally self-adjoint generalized MIC-Kepler Hamiltonian. We have shown that for l̃ = 0, the system admits an 1-parameter family of self-adjoint extension and for l̃ 6= 0 but l̃ < 1 2 , it has also an 1parameter family of self-adjoint extension.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Philosophical Logic
دوره 43 شماره
صفحات -
تاریخ انتشار 2014